Nuprl Definition : priority-select
0,22
postcript
pdf
priority-select(
f
;
g
;
as
)
== list_accum(
x
,
m
.if isl(
x
)
x
;
f
(
m
)
inl(true
) ;
g
(
m
)
inl(false
) else
x
fi;inr(
);
as
)
latex
Definitions
priority-select(
f
;
g
;
as
)
,
list_accum(
x
,
a
.
f
(
x
;
a
);
y
;
l
)
,
isl(
x
)
,
true
,
if
b
t
else
f
fi
,
false
,
FDL editor aliases
priority-select
origin
x ; f(m) inl(true
) ; g(m) inl(false) else x fi;inr(
);as) x ; f(m) inl(true) ; g(m) inl(false) else x fi;inr();as) t else f fi